Results for 'Antonio Stefano Caridi'

967 found
Order:
  1.  27
    Jean-Pierre Dupuy e l'euristica del catastrofismo.Antonio Stefano Caridi - 2009 - Iride: Filosofia e Discussione Pubblica 22 (1):181-194.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  83
    New tools to Foster corporate socially responsible behavior.Antonio Tencati, Francesco Perrini & Stefano Pogutz - 2004 - Journal of Business Ethics 53 (1-2):173-190.
    According to the Green Paper presented by the European Commission in July 2001, corporate social responsibility (CSR) is a concept whereby companies integrate social and environmental concerns in their business operations and in their interaction with their stakeholders on a voluntary basis (Commission of the European Communities, 2001b, p. 6). On this basis, in 2002, the Italian Government, and especially the Italian Ministry of Welfare, launched an initiative called CSR-SC (social commitment) in order to foster the proactive social role of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  3.  37
    The Affective Core of the Self: A Neuro-Archetypical Perspective on the Foundations of Human (and Animal) Subjectivity.Antonio Alcaro, Stefano Carta & Jaak Panksepp - 2017 - Frontiers in Psychology 8.
  4.  26
    Models of Disability in Children’s Pretend Play: Measurement of Cognitive Representations and Affective Expression Using the Affect in Play Scale.Stefano Federici, Fabio Meloni, Antonio Catarinella & Claudia Mazzeschi - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  18
    Balance Impairment in Fahr’s Disease: Mixed Signs of Parkinsonism and Cerebellar Disorder. A Case Study.Stefano Scarano, Viviana Rota, Luigi Tesio, Laura Perucca, Antonio Robecchi Majnardi & Antonio Caronni - 2022 - Frontiers in Human Neuroscience 16.
    Fahr’s disease is a rare idiopathic degenerative disease characterized by calcifications in the brain, and has also been associated with balance impairment. However, a detailed analysis of balance in these patients has not been performed. A 69-year-old woman with Fahr’s disease presented with a long-lasting subjective imbalance. Balance was analyzed using both clinical and instrumented tests. The patient’s balance was normal during clinical tests and walking. However, during standing, a striking impairment in vestibular control of balance emerged. The balance behavior (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  40
    Representing quantum structures as near semirings.Stefano Bonzio, Ivan Chajda & Antonio Ledda - 2016 - Logic Journal of the IGPL 24 (5).
  7.  34
    The “Instinct” of Imagination. A Neuro-Ethological Approach to the Evolution of the Reflective Mind and Its Application to Psychotherapy.Antonio Alcaro & Stefano Carta - 2019 - Frontiers in Human Neuroscience 12:422481.
    Recent neuro-psychoanalytic literature has emphasized the view that our subjective identity rests on ancient subcortical neuro-psychic processes expressing unthinking forms of experience, which are “affectively intense without being known” (Solms and Panksepp, 2012). Devoid of internal representations, the emotional states of our “core-Self” (Panksepp, 1998b) are entirely “projected” towards the external world and tend to be discharged through instinctual action-patterns. However, due to the close connections between the subcortical and the cortical midline brain, the emotional drives may also find a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  30
    The representation of stress: evidence from an aphasic patient.Stefano F. Cappa, Marina Nespor, Wanda Ielasi & Antonio Miozzo - 1997 - Cognition 65 (1):1-13.
  9.  9
    L'alchimia del potere: la filosofia politica di Hannah Arendt.Stefano Berni & Antonio Camerano (eds.) - 2022 - Milano: Mimesis.
  10.  13
    La mente: tradizioni filosofiche, prospettive scientifiche, paradigmi contemporanei.Stefano Gensini & Antonio Rainone (eds.) - 2008 - Roma: Carocci.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  14
    Balance impairment in myotonic dystrophy type 1: Dynamic posturography suggests the coexistence of a proprioceptive and vestibular deficit.Stefano Scarano, Valeria Ada Sansone, Carola Rita Ferrari Aggradi, Elena Carraro, Luigi Tesio, Maurizio Amadei, Viviana Rota, Alice Zanolini & Antonio Caronni - 2022 - Frontiers in Human Neuroscience 16.
    Falls are frequent in Myotonic Dystrophy type 1, but the pathophysiology of the balance impairment needs further exploration in this disease. The current work aims to provide a richer understanding of DM1 imbalance. Standing balance in 16 patients and 40 controls was tested in two posturographic tests. In the Sensory Organization Test, standstill balance was challenged by combining visual and environmental conditions. In the “react” test, reflexes induced by sudden shifts in the support base were studied. Oscillations of the body (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  39
    Family Burden, Emotional Distress and Service Satisfaction in First Episode Psychosis. Data from the GET UP Trial.Mirella Ruggeri, Antonio Lasalvia, Paolo Santonastaso, Francesca Pileggi, Emanuela Leuci, Maurizio Miceli, Silvio Scarone, Stefano Torresani, Sarah Tosato, Katia De Santi, Doriana Cristofalo, Carla Comacchio, Simona Tomassi, Carla Cremonese, Angelo Fioritti, Giovanni Patelli, Chiara Bonetto & the Get Up Group - 2017 - Frontiers in Psychology 8:249631.
    _Background:_ Literature has documented the role of family in the outcome of chronic schizophrenia. In the light of this, family interventions (FIs) are becoming an integral component of treatment for psychosis. The First Episode of Psychosis (FEP) is the period when most of the changes in family atmosphere are observed; unfortunately, few studies on the relatives are available. _Objective:_ To explore burden of care and emotional distress at baseline and at 9-month follow-up and the levels of service satisfaction at follow-up (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  21
    COVID-19 Outbreak and Physical Activity in the Italian Population: A Cross-Sectional Analysis of the Underlying Psychosocial Mechanisms.Andrea Chirico, Fabio Lucidi, Federica Galli, Francesco Giancamilli, Jacopo Vitale, Stefano Borghi, Antonio La Torre & Roberto Codella - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  72
    Antonio Banfi and 19th century German philosophy.Stefano Poggi - 2014 - Trans/Form/Ação 37 (3):201-216.
    Tra le figure più importanti del dibattito filosofico italiano del Novecento, Antonio Banfi ha svolto nell'Italia del secondo dopoguerra anche un ruolo politico di rilievo come senatore del PCI. La sua interpretazione del marxismo ha presentato una forte accentuazione umanistica. Tra i suoi scolari filosofi e storici della filosofia come Giulio Preti, Enzo Paci, Remo Cantoni, Paolo Rossi. Il saggio prende in esame la prima fase della riflessione filosofica di Banfi, nella quale ha una importanza decisiva la conoscenza diretta (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15. «Ut sine tuo labore». La Tabula cum dilucidationibus in dictis Aristotelis et Averrois di Marco Antonio Zimara.Stefano Caroti - 2015 - Noctua 2 (1-2):63-96.
    Since 1537 Marco Antonio Zimara’s Tabula cum dilucidationibus in dictis Aristotelis et Averrois has been one of the most efficient and largely used instruments for a swift and at the same time precise access to the philosophical topics discussed in Aristotle’s works and in Averroes’ commentaries as well. In this paper the long and laborious gestation of Zimara’s Tabula is taken into account, starting with the notes in a 1507 edition of Aristotle’s works.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16. Antonio pigliaru, saggi capograssiani, edizioni spes, Roma 2009.Stefano Biancu - forthcoming - Rivista Internazionale di Filosofia Del Diritto.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  9
    Antonio Labriola collaboratore della Nuova Antologia.Stefano Miccolis - 2006 - Rivista di Storia Della Filosofia 3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Labriola, Antonio fragmentary political-writings, including a bibliography of works published during his lifetime.Stefano Miccolis - 1993 - Giornale Critico Della Filosofia Italiana 13 (3):473-488.
    No categories
     
    Export citation  
     
    Bookmark  
  19.  31
    A ontologia política de espinosa na leitura de Antonio Negri.Stefano Visentin - 2018 - Cadernos Espinosanos 38:151-170.
    O texto busca reconstituir alguns momentos fundamentais da leitura negriana de Espinosa, mostrando como ela se presta a uma releitura da modernidade filosófica bem como abre-se para a reflexão política contemporânea. Por fim, são apontados certos aspectos problemáticos da interpretação de Negri.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. " In principio era l'emozione": per una lettura della teoria di Antonio Damasio.Stefano Fuselli - 2011 - Verifiche: Rivista Trimestrale di Scienze Umane 40 (1):25-62.
     
    Export citation  
     
    Bookmark  
  21.  11
    Un'autocelebrazione del centenario di Antonio Labriola.Stefano Miccolis - 2008 - Rivista di Storia Della Filosofia 63 (2).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  17
    Antonio Signorini and the proto-history of the non-linear theory of elasticity.Giuseppe Saccomandi & Maurizio Stefano Vianello - 2024 - Archive for History of Exact Sciences 78 (4):375-400.
    Antonio Signorini’s contribution to the constitutive theory of non-linear elasticity is reconstructed and analyzed. Some uninformed opinions suggesting he had a minor role, lacking of significant results, are discussed and refuted. It is shown that Signorini should be rightly credited for being among the first scholars aware of the central problem of non-linear elasticity: the determination of the general form of the elastic potential.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  28
    Manoscritti del monastero di Grottaferrata nel typikon dell'egumeno Biagio II.Stefano Parenti - 2002 - Byzantinische Zeitschrift 95 (2):641-672.
    Nell'agosto del 1462 papa Pio II investiva il cardinale Bessarione di Nicea della commenda del monastero di Grottaferrata, che succedeva al calabrese Pietro Vitali, ultimo degli egumeni de regimine, eletto a capo dell'Archimandritato di Messina. Uno dei primi atti di governo di Bessarione fu di incaricare l'arcivescovo di Siponto Niccolò Perotti, quale suo procuratore, di procedere ad una dettagliata ricognizione dei beni mobili e immobili del monastero criptense. I relativi inventari ci sono pervenuti nei mss. Grottaferrata Z. δ. XII (ff. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  8
    Introduzione a Labriola.Stefano Poggi - 1982 - Bari: Laterza.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  40
    Is Legal Positivism as Worthless as Many Italian Scholars of Public Law Depict It?Stefano Civitarese Matteucci - 2010 - Ratio Juris 23 (4):505-539.
    An increasing number of Italian scholars are beginning to share the idea that the conceptual basis of legal positivism (LP) is wrong, particularly in the field of Public Law. According to a group of theories called “neoconstitutionalism,” constitutionalism is to be understood not only as a principle based on the need to impose legal limits to political power, but also as an aggregation of values capable of continually remodelling legal relationships, positioning itself as a “pervasive” point of reference for legal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  6
    Saussure e la Scuola linguistica romana: da Antonio Pagliaro a Tullio De Mauro.Marina De Palo & Stefano Gensini (eds.) - 2018 - Roma: Carocci editore.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. wuppertaler studien. Subjectivität und intersubjektivität in der phänomenologie / Inga Römer and László Tengelyi ; Monadische subjektivität bei Husserl / Andrea Altobrando ; Die performative Grundbestimmung der menschlichen subjektivität / Antonio Cimino ; Beispiel und Vorbild in der Ethik. Kant und Scheler / Inga Römer ; Subjektivität bei Levinas / Thuy Vu ; Nichts passiert. Phänomenologie der melancholie. [REVIEW]Stefano Micali - 2011 - In Gert-Jan van der Heiden, Karel Novotny, Inga Römer & Laszlo Tengelyi, Investigating Subjectivity: Classical and New Perspectives. Boston: Brill.
  28.  19
    Carmelo Carvello - Stefano de Fiores (eds.), Maria icona viva della Chiesa futuro (Roma, Edizioni Monfortane, 1 998) 335 pp. 240 x 1 70. ISBN 88-87103-05-4. [REVIEW]Antonio Mª Calero de los Ríos - 2023 - Isidorianum 8 (15):379-380.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  19
    Gramsci, Language, and Translation.Giorgio Baratta, Derek Boothman, Lucia Borghese, Francisco F. Buey, Tullio De Mauro, Fabio Frosini, Stefano Gensini, Marcus Green, Peter Ives, Maurizio Lichtner, Franco Lo Piparo, Utz Maas, Luigi Rosiello, Edoardo Sanguineti, Anne ShowstackSassoon & André Tosel (eds.) - 2010 - Lexington Books.
    This book provides the first English translations of pivotal essays and debates on the role of language politics, linguistics, and translation in Antonio Gramsci's influential cultural theory. It also includes new works from leading and up-and-coming anglophone scholars to create a vital resource for a wide variety of readers interested in Gramsci across many disciplines including cultural studies, critical political economy, social and political theory, literature, sociology, post-colonialism, and philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  18
    Stefano Miccolis studioso di Antonio Labriola.Alberto Meschiari - 2011 - Rivista di Storia Della Filosofia 66 (2):285-294.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. Antonio Labriola, Giordano Bruno. Scritti editi e inediti (1888-1900), a cura di Stefano Miccolis e Alessandro Savorelli. [REVIEW]Rita Sturlese - 2010 - Rivista di Storia Della Filosofia 65 (1):193.
  32. DOLCE: A descriptive ontology for linguistic and cognitive engineering1.Stefano Borgo, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Daniele Porello, Emilio M. Sanfilippo & Laure Vieu - 2022 - Applied ontology 17 (1):45-69.
    dolce, the first top-level (foundational) ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  33. Lettera a me stesso. un inedito di giorgio del vecchio.Isabella Caridi - 2005 - Rivista Internazionale di Filosofia Del Diritto 82 (1):1-16.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Utterance, interpretation and the logic of indexicals.Stefano Predelli - 1998 - Mind and Language 13 (3):400–414.
    I argue that some utterances of sentences containing occurrences of indexical expressions should not be evaluated with respect to the context of utterance. I suggest that we distinguish between context of utterance and context of interpret‐ation, and I employ this distinction in the analysis of recorded messages and other interesting linguistic phenomena. I then discuss the implications of my views on contexts with respect to the logic of indexicals. Against the traditional view, I argue that sentences such as ‘I am (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  35. The Perfect Duty to Oneself Merely as a Moral Being.Stefano Bacin - 2013 - In Andreas Trampota, Oliver Sensen & Jens Timmermann, Kant’s “Tugendlehre”. A Comprehensive Commentary. Boston: Walter de Gruyter. pp. 245-268.
  36.  78
    Thomas Kuhn’s Linguistic Turn and the Legacy of Logical Empiricism: Incommensurability, Rationality, and the Search for Truth.Stefano Gattei - 2008 - Ashgate.
    Presenting a critical history of the philosophy of science in the twentieth century, focusing on the transition from logical positivism in its first half to the ...
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  37.  38
    Perceptual Similarity: Insights From Crossmodal Correspondences.Nicola Di Stefano & Charles Spence - 2024 - Review of Philosophy and Psychology 15 (3):997-1026.
    Perceptual similarity is one of the most fiercely debated topics in the philosophy and psychology of perception. The documented history of the issue spans all the way from Plato – who regarded similarity as a key factor for human perceptual experience and cognition – through to contemporary psychologists – who have tried to determine whether, and if so, how similarity relationships can be established between stimuli both within and across the senses. Recent research on cross-sensory associations, otherwise known as crossmodal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  33
    An edifying philosophy of education? Starting a conversation between Rorty and post-critical pedagogy.Stefano Oliverio - 2019 - Ethics and Education 14 (4):482-496.
    In this paper, I will establish a conversation between Rorty and the recent proposal of post-critical pedagogy. The assumption is that through this dialogue some tenets of the latter could find a Rortyan redescription that avoids the risk of ‘metaphysical’ formulations, whereas Rorty’s ideas can increase in their relevance with respect to education thanks to the post-critical perspective. In particular, the conversation will develop by focusing on the shared attitude towards the critical-negative attitude of poststructuralist thought, the significance of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  39.  40
    Ectogestation ethics: The implications of artificially extending gestation for viability, newborn resuscitation and abortion.Lydia Di Stefano, Catherine Mills, Andrew Watkins & Dominic Wilkinson - 2019 - Bioethics 34 (4):371-384.
    Recent animal research suggests that it may soon be possible to support the human fetus in an artificial uterine environment for part of a pregnancy. A technique of extending gestation in this way (“ectogestation”) could be offered to parents of extremely premature infants (EPIs) to improve outcomes for their child. The use of artificial uteruses for ectogestation could generate ethical questions because of the technology’s potential impact on the point of “viability”—loosely defined as the stage of pregnancy beyond which the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40. The origin of the Everettian heresy.Stefano Osnaghi, Fábio Freitas & Olival Freire - 2009 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 40 (2):97-123.
  41.  70
    Foundational ontologies in action.Stefano Borgo, Antony Galton & Oliver Kutz - 2022 - Applied ontology 17 (1):1-16.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  50
    Technical artifacts: An integrated perspective.Stefano Borgo, Maarten Franssen, Paweł Garbacz, Yoshinobu Kitamura, Riichiro Mizoguchi & Pieter E. Vermaas - 2014 - Applied ontology 9 (3-4):217-235.
    Humans are always interested in distinguishing natural and artificial entities although there is no sharp demarcation between the two categories. Surprisingly, things do not improve when the second type of entities is restricted to the arguably more constrained realm of physical technical artifacts. This paper helps to clarify the relationship between natural entities and technical artifacts by developing a conceptual landscape within which to analyze these notions. The framework is developed by studying three definitions of technical artifact which arise from (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  43.  52
    Developmental phenomenology: examples from social cognition.Stefano Vincini & Shaun Gallagher - 2020 - Continental Philosophy Review 54 (2):183-199.
    We explore relationships between phenomenology and developmental psychology through an in-depth analysis of a particular problem in social cognition: the most fundamental access to other minds. In the first part of the paper, we examine how developmental science can benefit phenomenology. We explicate the connection between cognitive psychology and developmental phenomenology as a form of constructive phenomenological psychology. Nativism in contemporary science constitutes a strong impulse to conceive of the possibility of an innate ability to perceive others’ mental states, an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  44.  37
    Joint attention, relationalism, and individuation.Stefano Vincini - forthcoming - Philosophical Psychology.
    One of the main positions in the contemporary debate on joint attention is John Campbell’s relationalist account. This account has been welcomed as extremely promising in some strands of philosophy and cognitive science, but it has recently been subject to renewed criticism. In this paper, I take a sympathetic approach toward Campbell’s relationalism and I provide support for it by means of a naturalistic theory of the individuation of joint-attentional states. I start from examining some recent objections raised against Campbell’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  9
    On the Structure of Bochvar Algebras.Stefano Bonzio & Michele Pra Baldi - forthcoming - Review of Symbolic Logic:1-27.
    Bochvar algebras consist of the quasivariety $\mathsf {BCA}$ playing the role of equivalent algebraic semantics for Bochvar (external) logic, a logical formalism introduced by Bochvar [4] in the realm of (weak) Kleene logics. In this paper, we provide an algebraic investigation of the structure of Bochvar algebras. In particular, we prove a representation theorem based on Płonka sums and investigate the lattice of subquasivarieties, showing that Bochvar (external) logic has only one proper extension (apart from classical logic), algebraized by the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. How Existential Dependence Can Ground Existential Grounding.Stefano Caputo - forthcoming - Dialectica.
    Schnieder (2020) argues, against Orilia (2009) and Koslicki (2013), that claims of existential grounding of the form “the fact that x exists is grounded in the fact that y is F” cannot be grounded in claims of existential dependence of the form “x existentially depends on y” and defends the view that the latter claims are grounded, via a definition of existential dependence, in the former. I will firstly argue that Schnieder’s main point against the claim that existential grounding is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  23
    Understanding the organization of sharing economy in agri-food systems: evidence from alternative food networks in Valencia.Stefano Pascucci, Domenico Dentoni & Isabel Miralles - 2017 - Agriculture and Human Values 34 (4):833-854.
    Despite the proliferation of sharing economy initiatives in agri-food systems, the recent literature has still not unravelled what sharing exactly entails from an organizational standpoint. In light of this knowledge gap, this study aims to understand which resources are shared, and how, in a heterogeneous set of sharing economy initiatives in the context of food and agriculture. Specifically, this study compares the organization of various forms of alternative food networks (AFNs), which are recognized to be frugal forms of sharing economy (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  28
    Musical Emotions and Timbre: from Expressiveness to Atmospheres.Nicola Di Stefano - 2023 - Philosophia 51 (5):2625-2637.
    In this paper, I address the question of how emotional qualities can be attributed to musical timbre, an acoustic feature that has proven challenging to explain using traditional accounts of musical emotions. I begin presenting the notion of musical expressiveness, as it has been conceived by cognitivists to account for the emotional quality of various musical elements like melody and rhythm. However, I also point out some limitations in these accounts, which hinder their ability to fully elucidate the emotional expressiveness (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Against musical platonism.Stefano Predelli - 1995 - British Journal of Aesthetics 35 (4):338-350.
  50. On the computational content of the axiom of choice.Stefano Berardi, Marc Bezem & Thierry Coquand - 1998 - Journal of Symbolic Logic 63 (2):600-622.
    We present a possible computational content of the negative translation of classical analysis with the Axiom of (countable) Choice. Interestingly, this interpretation uses a refinement of the realizability semantics of the absurdity proposition, which is not interpreted as the empty type here. We also show how to compute witnesses from proofs in classical analysis of ∃-statements and how to extract algorithms from proofs of ∀∃-statements. Our interpretation seems computationally more direct than the one based on Godel's Dialectica interpretation.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
1 — 50 / 967